1. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: (طهران)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
2. Extensional Godel functional interpretation; a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
306
3. Extensional Godel functional interpretation : a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: (طهران)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
9
.
L8
1973
4. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
5. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
7. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
8. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
9. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
1
.
L4
v
.
212
10. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
Vol
.
212
11. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
9
.
S3
1971
12. Proof theory and intuitionistic systems
پدیدآورنده : / Bruno Scarpellini
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Intuitionistic mathematics,Proof theory
رده :
510
.
8
L471
No
.
212
